package CasosTestInter;

public class Test5 {
	
	public static Test5 test_05() {
		Test5 x = new Test5();
		Test5 y = new Test5();
		Test5 w = new Test5();
		Test5 z = new Test5();
		
		x = y.m1(w);
		x = y.m1(z);
		
		//x may-alias w --> SÍ para ej3, NO para ej4
		//x may-alias z --> SÍ para ej3 y ej4
		return x;
	}
	
	public Test5 m1(Test5 c) {
		return c;
	}
	
}
